$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $f$:(E($X$)$\rightarrow$E($X$)).
\\[0ex]($\forall$$x$:E($X$). $f$($x$) c$\leq$ $x$) $\Rightarrow$ ($\forall$$e$, $a$:E($X$). $a$ is $f$$\ast$($e$) $\Rightarrow$ ($f$$\ast\ast$($a$) = $f$$\ast\ast$($e$) $\in$ E($X$)))